Fix an IO-APIC error message

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/io_apic.c b/xen/arch/x86/io_apic.c
index c1445d4c3049241dfffb1c11d2fe56c0b9eeaa7b..46be3a239d93ed7f12b8d605b10dbfcb15818e5b 100644 (file)
--- a/xen/arch/x86/io_apic.c
+++ b/xen/arch/x86/io_apic.c
@@ -2030,8 +2030,8 @@ static inline void check_timer(void)
         return;
     }
     printk(" failed :(.\n");
-    panic("IO-APIC + timer doesn't work!  Boot with apic=debug and send a "
-          "report.  Then try booting with the 'noapic' option");
+    panic("IO-APIC + timer doesn't work!  Boot with apic_verbosity=debug "
+          "and send a report.  Then try booting with the 'noapic' option");
 }
 
 /*